翻訳と辞書 Words near each other ・ constant linear velocity ・ constant mapping ・ constantine/yourdon ・ constraint ・ constraint functional programming ・ constraint handling in prolog ・ constraint logic programming ・ constraint satisfaction ・ constraintlisp ・ constraints ・ constructed type ・ constructive ・ constructive cost model ・ constructive solid geometry ・ constructor ・ consul ・ consultant ・ container class ・ content addressable memory ・ content data model Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク constructed type ： FOLDOC constructed type A type formed by applying some {type constructor function} to one or more other types. The usual constructions are functions: t1 -> t2, products: (t1, t2), sums: t1 + t2 and lifting: lift(t1). (In LaTeX, the lifted type is written with a subscript perp). See also algebraic data type, {primitive type}. (1995-02-03) algebraic data type, {primitive type}. (1995-02-03) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.